g:AbMon. Comm(|g|;*) 

latex

Up	groups 1
Definitions of Statement	Mon, AbMon
Definitions	True, T, t  T, x:A. B(x), P  Q, SqStable(P), Mon, AbMon
Lemmas	abmonoid wf, grp op wf, grp car wf, sq stable comm